Spectra of highn and non-lown degrees
نویسندگان
چکیده
We survey known results on spectra of structures and on spectra of relations on computable structures. asking when the set of all highn degrees can be such a spectrum, and likewise for the set of nonlown degrees. We then repeat these questions specifically for linear orders and for relations on the computable dense linear order Q. New results include realizations of the set of nonlown Turing degrees as the spectrum of a relation on Q for all n ≥ 1, and a realization of the set of nonlown Turing degrees as the spectrum of a linear order whenever n ≥ 2. The state of current knowledge is summarized in a table in the concluding section.
منابع مشابه
Low degradable protein supply to increase nitrogen efficiency in lactating dairy cows and reduce environmental impacts at barn level.
Generally, <30% of dairy cattle's nitrogen intake is retained in milk. Large amounts of nitrogen are excreted in manure, especially in urine, with damaging impacts on the environment. This study explores the effect of lowering dietary degradable nitrogen supplies--while maintaining metabolisable protein--on dairy cows' performance, nitrogen use efficiency and gas emissions (NH3, N2O, CH4) at ba...
متن کاملThe high/low hierarchy in the local structure of the ω-enumeration degrees
This paper gives two definability results in the local theory of the ω-enumeration degrees. First we prove that the local structure of the enumeration degrees is first order definable as a substructure of the ω-enumeration degrees. Our second result is the definability of the the classes Hn and Ln of the highn and lown ω-enumeration degrees. This allows us to deduce that the first order theory ...
متن کاملOverexpression of Plasminogen Activator Inhibitor-1 in Advanced Gastric Cancer with Aggressive Lymph Node Metastasis
PURPOSE The purpose of this study is to investigate differentially expressed genes using DNA microarray between advanced gastric cancer (AGC) with aggressive lymph node (LN) metastasis and that with a more advanced tumor stage but without LN metastasis. MATERIALS AND METHODS Five sample pairs of gastric cancer tissue and normal gastric mucosa were taken from three patients with T3N3 stage (hi...
متن کاملThe ∆ 03 - Automorphism Method and Noninvariant Classes of Degrees
A set A of nonnegative integers is computably enumerable (c.e.),also called recursively enumerable (r.e.), if there is a computable method tolist its elements. Let E denote the structure of the computably enumerable setsunder inclusion, E =({We}e∈ω ,⊆). Most previously known automorphismsΦ of the structure E of sets were effective (computable) in the sense that Φhas an e...
متن کاملThe ∆3-automorphism Method and Noninvariant Classes of Degrees
A set A of nonnegative integers is computably enumerable (c.e.),also called recursively enumerable (r.e.), if there is a computable method tolist its elements. Let E denote the structure of the computably enumerable setsunder inclusion, E =({We}e∈ω ,⊆). Most previously known automorphismsΦ of the structure E of sets were effective (computable) in the sense that Φhas an e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Log. Comput.
دوره 22 شماره
صفحات -
تاریخ انتشار 2012